Sigue de la proposición que los subconjuntos finitos de espacios T son cerrados.