証明終わり

Phrase

 * 1)  quod erat demonstrandum that which was to be proved