El último conjunto obtenido es el conjunto formula_25.