Az $a$, $b$, $n$ természetes számokra teljesül a következő feltétel: minden $b$-től különböző $k$ természetes szám esetén $\left(a-k^n\right)$ osztható $\left(b-k\right)$-val. Mutassuk meg, hogy ekkor $a=b^n$.