定理证明英文怎么写

定理证明

[词典] theoremproving; [计] theorem proving;

[例句]他还爱上了几何学以及几何学中的定理证明，到16岁时就已经精通微积分了。

He fell in love with geometry and its clear proofs, and mastered calculus at age16.