Supongamos que existe algún polinomio formula_25 que tiene a formula_22 por raíz.