D.4.2 定理9.2的证明