证明一个命题的一般步骤是