Q10 Matemática  (IMC 2012)

Seja um número real. Seja um grupo abeliano e um conjunto finito que satisfaz , onde e denotam a cardinalidade de . Prove que para cada inteiro positivo . Proposto por Przemyslaw Mazur, Universidade Jagiellonian.