一个命题完整证明的一般步骤