9.1.4 理论证明