1.9 定理1.4.5的证明