证明一个命题的过程是从