定理是经过证明的真命题,定理是真命题,但真命题不一定是定理,在证明过程中,定理可以直接使用,而真命题不可以作为证明的依据.真命题既然成立，那么为什么不能作为证明的依据？````，没办法，你就把那真命题再证明一边呗，人家这么规定，我们也没办法