Si formula_17 no es acotado, entonces contiene un conjunto {formula_62} tal que formula_63 entonces el subconjunto {formula_62} es infinito pero no tiene puntos de acumulación en formula_2, lo cual contradice 3).