TAG Q.E.D.iff-証明終了-