A.8 关于命题3.7的证明