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