Sea formula_2 un cuerpo y formula_6.