formula_15 su clase de congruencia módulo m es un supramorfismo,