附录B:辅助命题2的证明