附录A 书中部分命题的证明