Sea formula_287 Claramente, formula_13 y formula_265 están contenidos en formula_290 por lo que formula_13 y formula_265 son subgrupos de formula_293 Sea formula_3 cualquier subgrupo de formula_1 que contenga a formula_13 y a formula_297 Entonces, contendrá cualquier producto de elementos de formula_13 y formula_299 por lo que contendrá a formula_290 probando que formula_301 es el menor subgrupo que contiene a formula_13 y formula_297