Teorema 1.33 (Primer teorema de isomorfía): "Si formula_25 es un homomorfismo de grupos, entonces formula_85."