所谓定理就是可以证明的,基于这个定理推出的所有推论和性质都可以直接使用 所谓定理就是可以证明的,基于这个定理推出的所有推论和性质都可以直接使用