이디스가 이를 증명