Q.E.D iff 증명종료 26
저자(글) MOTOHIRO KATOU