Si formula_126 es un subgrupo de formula_24, entonces claramente formula_470.