如何证明有限覆盖定理