Por lo que la clase de equivalencia de formula_96 en formula_163 será formula_96 mismo.