Sea formula_7 un polinomio irreducible de formula_40 formula_37 con grado positivo y sea formula_132