Sean formula_10 un cuerpo cualquiera con formula_511 elementos y formula_4 el cuerpo de descomposición de formula_589.