Teorema 1.34 (Tercer teorema de isomorfía): "Si formula_424 y formula_126 son dos subgrupos normales en un grupo formula_24, con formula_511, entonces formula_512."