10.2.1.8 推论的证明