附件 定理2.1的证明