C.1 关于命题4.1的证明