A.7 关于命题3.6的证明