證明完畢 : 「quod erat demonstrandum」「ὅπερ ἔδει δεῖξαι」