Si formula_6, entonces formula_7 es raíz del polinomio formula_8, que es irreducible en formula_9 (todo polinomio de grado 1 es irreducible en cualquier anillo de polinomios).