G.2 关于命题6.2的证明