用有限覆盖定理证明介值定理