Luego, el polinomio formula_31 es irreducible en formula_12.