theoremn.定理
theorem of equivalence等效定理
theorem of homogeneity齐次性定理
theorems proof methods定理证明方法
theoremproving machine[计] 定理证明机
theorem of double ratio复比定理
theorem machine proving定理机器证明
Theorems are invariable定理不变
theorem proving machine定理证明机
theorem of four moments四弯矩定理
theorem of parallel axes平行轴定理