cerrados en X que tiene la propiedad de la intersección finita, tiene intersección