定理一定是什么的命题