G.3 关于命题6.5的证明