Sean formula_6 y formula_201 subgrupos normales de un grupo formula_19 tales que formula_19 es generado por formula_6 y formula_201 (o sea que formula_274),