Consideremos formula_44 un polinomio irreducible y formula_45 una raíz de formula_46.