命题的证明求解.