闭区间套证明有限覆盖