[詞典] theoremproving; [計] theorem proving;
[例句]他還愛上了幾何學以及幾何學中的定理證明，到16歲時就已經精通微積分了。
He fell in love with geometry and its clear proofs, and mastered calculus at age16.