G.5 关于命题6.7的证明