G.7 关于命题6.9的证明