Entonces, hay una extensión formula_4 de formula_5 que es un cuerpo de descomposición para formula_119.