Sea formula_19 un grupo finito con orden formula_69 Cada elemento formula_35 de formula_19 tiene orden finito y formula_72