第12节 证明第4章中提到的一个定理