5.2.2定理、证明(2)