La aplicación formula_3 es monomorfismo si y sólo si es homomorfismo y formula_44."