Sea formula_4 el cuerpo de descomposición de formula_119.