Legyenek $a$ és $n$ olyan pozitív egészek, amelyekre $a^n-1$ osztható n-nel. Bizonyítsuk be, hogy az $a+1$, $a^2+2$, $\text{...}$, $a^n+n$ számok mind különböző maradékot adnak $n$-nel osztva.