附录B 引理2证明