Aplicando la construcción anterior a formula_268, obtendremos una extensión formula_288 de formula_289, donde habrá al menos un cero de formula_268.