Q.E.D.iff ―証明終了―(27)