La aplicación formula_127 es monomorfismo si y sólo si es homomorfismo y formula_168."