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