Los conjuntos sucesivos formula_30 son acotados inferiormente por lo que hemos visto en la demostración anterior.