C.5 关于命题4.5的证明