entonces formula_9 es irreducible sobre formula_10.