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