G.1 关于命题6.1的证明