perfecte macht

$b,n \in \mathbb{N}$ en $b,n>1$ en we voor iedere natuurlijke $k>1$ geldt er dat
er een geheel getal $a_k$ bestaat zodat $k|b-a_k^n.$
Bewijs dat $b$ dan een perfecte $n-$ de macht is van een geheel getal.