Teorema 1.34 (Tercer teorema de isomorfía): "Si formula_9 y formula_2 son dos subgrupos normales en un grupo formula_1, con formula_96, entonces formula_97."