Teorema 1.34 (Segundo teorema de isomorfía): "Si formula_424 es un subgrupo normal de un grupo formula_24 y formula_126 es un subgrupo cualquiera de formula_24, entonces formula_505 es normal en formula_126 y formula_507."