FR / EN

证明完毕

Hors-HSK

zhèng míng wán bì

(math.) fin de la preuve; QED (quod erat demontrandum)