Vocabulary
証明終了
しょうめいしゅうりょう
end of proof; QED
noun