Sean formula_2 y formula_3 dos cuerpos de manera que formula_2 es extensión de formula_3.