区间套定理的推论