Q.E.D iff 증명종료 26