附录D　第3章定理2的证明过程