Lo cual es una contradicción: formula_60 (i.e.