有限覆盖定理为什么是有限个开区间