Consideremos al cuerpo formula_17 como una extensión del cuerpo formula_16 y al elemento formula_34.