Synonym
証明終わり