Sea formula_24 un polinomio de grado formula_25 en formula_17, entonces si formula_27 con formula_28 y formula_29 en formula_18 y con su mcd igual a 1, es un cero de formula_31, se cumple que formula_32 y que formula_33.