(Adjunción de un elemento) Sea formula_5 un cuerpo cualquiera, formula_22 un elemento de una extensión formula_4 de formula_5.