G.4 关于命题6.6的证明