theorem, 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 返回 theoremproving