Luego, formula_40 es un cero del polinomio mónico formula_46 que es un polinomio en formula_15.