Es decir que las clases de congruencia módulo formula_79 coinciden con los elementos del anillo cociente formula_144.