prove formally; demonstrate by a mathematical, formal proof.

• 从形式上证明；通过一个数学的或形式的证据来演示某事物。