Q.E.D. 証明終了