Sea formula_1 un grupo finito que actúa en el conjunto finito formula_71 Entonces,