證明完畢

证明完毕
zhèngmíngwán
(math.) end of proof; QED (quod erat demonstrandum)

CEDICT

Entry Composition