Sea formula_80 un elemento del cuerpo.