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