A.3 关于命题3.2的证明