附录B 第9章的证明