附录C:辅助命题3的证明