Por último, si formula_8 no es conexo, es decir, si existen abiertos formula_47 disjuntos no vacíos tales que su unión es formula_8, es fácil ver que cada abierto será el complemento del otro, luego serán complementos de un abierto, y por ende, serán cerrados.