有限覆盖定理(4个结果)
有限覆盖定理