Sigue entonces, del teorema de homomorfismo de anillos que formula_490, donde formula_133 es el núcleo de formula_489.el ideal formula_133 es principal, está generado por un polinomio de grado positivo, el polinomio minimal sobre formula_480 de formula_482.