Sea formula_4 una extensión del cuerpo formula_5.