Probaremos ahora que formula_74 es irreducible.