定理是用逻辑的方法判断为正确并作为推理的根据的真命题
也就是说定理一定要是对的
不是每个定理的逆定理都是对的