C.6 关于命题4.6的证明