Sean dos cuerpos formula_16 y formula_17 de forma que formula_18 es extensión de formula_8.