Probar que formula_180 es irreducible sobre formula_12.