如何证明一个真命题(步骤)