附录E 定理11的证明