Sea formula_35 un elemento de un grupo formula_78 Sea formula_79 un entero positivo tal que formula_80 Entonces el orden de formula_35 es un divisor de formula_82