Si formula_126 y formula_223 son dos subgrupos de un grupo formula_24, es fácil ver que formula_225 es de nuevo un subgrupo de formula_24.