证明完毕

quod erat demonstrandum 〈拉〉证明完毕 数学运算中用于证明的末尾。