Las relaciones (16-5) y (16-6) nos dicen que la función formula_83 es efectivamente un homomorfismo que además es inyectivo.