附录C 定理9的证明