»   Q.E.D証明終了