Si formula_21, entonces formula_15 es raíz del polinomio formula_23, que es irreducible en formula_24 (todo polinomio de grado 1 es irreducible en cualquier anillo de polinomios).