"así que el orden de todo subgrupo formula_2 de formula_1 es divisor del orden de formula_1."