Para completar los detalles de la prueba habría que ver que cualquier subconjunto abierto de formula_41 está contenido en formula_49, cosa que es sencilla probando que cualquier conjunto de abierto contenido en formula_50 es una uniónde intervalos de la forma formula_43 (con la condición de que formula_44).