C.3 关于命题4.3的证明