"así que el orden de todo subgrupo formula_126 de formula_24 es divisor del orden de formula_24."