C.4 关于命题4.4的证明