Entonces, formula_19 es producto directo de dos subgrupos normales formula_235 y formula_236 de formula_19 que tienen en común solamente al elemento neutro y que son isomorfos a formula_6 y formula_201 respectivamente.