附录C　第3章引理1的证明过程