Sean dos cuerpos formula_1 y formula_2 de forma que formula_3 es extensión de formula_4.