Sea formula_117 un homomorfismo suprayectivo.