A.4 关于命题3.3的证明