Q.E.D. iff ―証明終了―