C.2 关于命题4.2的证明