D.4.1 定理9.1的证明