Oración 1: las relaciones (16-5) y (16-6) nos dicen que la función formula_83 es efectivamente un homomorfismo que además es inyectivo
Oración 2: formula_44 es isomorfo (como anillo) con su imagen
Conector: por lo tanto,
Relación: reasoning
Género: books