Si el kerformula_57, será formula_58 un monomorfismo.