附录D 第七章的命题证明