A.6 关于命题3.5的证明