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