A.2 关于命题3.1的证明