A.9 关于命题3.8的证明