15.3 收敛定理的证明