A.5 关于命题3.4的证明