Sea formula_80 un elemento cualquiera de formula_56.