theorem

n.

[数] 定理；（能证明的）一般原理，公理，定律，法则；

复数：theorems

fixed point theorem不动点定理

existence theorem[计]存在性定理

mean value theorem中值定理，平均值定律

comparison theorem比较定理

sampling theorem抽样定理

central limit theorem中心极限定理

remainder theorem余式定理

coase theorem[经]科斯定理

chinese remainder theorem孙子剩余定理

uniqueness theorem唯一性定理；单值定理

pythagorean theorem勾股定理；毕氏定理

reciprocity theorem[物]互易定理；[电磁]倒易理论

theorem proving定理证明

gauss theorem高斯定理

duality theorem对偶定理

approximation theorem逼近定理

separation theorem分离定理，分离定律

binomial theorem[数]二项式定理

intermediate value theorem介值定理

theorem of kinetic energy动能定理

1. Let us restate the assertions above as a theorem.
   我们把上述的断言重新表述为一个定理。
2. This method helps to obtain a remarkable theorem.
   这一方法有助于得出一著名的定理。

A Machine Program for Theorem-proving
A machine program for theorem-proving
The complexity of theorem-proving procedures
The complexity of theorem-proving procedures
Optimal foraging, the marginal value theorem.
Optimal foraging, the marginal value theorem.
Experimental Tests of the Endowment Effect and the Coase Theorem
Strips: A new approach to the application of theorem proving to problem solving
STRIPS: a new approach to the application of theorem proving to problem solving
Ekert, A.K.: Quantum Cryptography Based on Bell’s Theorem. Phys. Rev. Lett. 67(6), 661