すまん、証明終了って
(Q.E.D. ) か(□)か(証明終わり)
のどれが一番無難?