Es claro que el conjunto de estas vecindades forman una cubierta par formula_17 pero no tiene un refinamiento finito, lo mismo cumpliría para formula_4 que contradiría la definición de que formula_4 es compacto.