Para formula_70 existen formula_71 tales que formula_72, entonces el conjunto {formula_62} es un subconjunto infinito de formula_17 cuyo único punto de acumulación es el formula_67, que no pertenece a formula_17, lo que contradice 3).