Sigue de la proposición que cuando formula_5 es infinito, formula_4 es un punto de acumulación de formula_7.