Si formula_22 es un elemento algebraico sobre el cuerpo formula_14 de manera que formula_45, el polinomio formula_27 que genera al núcleo de la aplicación evaluación (i.e., formula_47) es irreducible.