Legyenek $a$ és $n$  $1$-nél nagyobb egészek. Bizonyítsuk be, hogy az $a^n-1$ nevezőjű, nem egyszerűsíthető valódi ($0$ és $1$ közé eső) törtek száma osztható $n$-nel.