A.1 关于引理3.1的证明