四、对本书中两个命题的证明