13.1.2定理与证明