Sea formula_4 un cuerpo.