13.2.2定理与证明