Sea formula_8 un subanillo de formula_2 y consideremos la relación de equivalencia formula_1 tal que