附录A 部分命题证明