Prime-power contraction under pth powers ($a\equiv b(\mathrm{mod}{p}^k)\Rightarrow a^{p^r}\equiv b^{p^r}(\mathrm{mod}{p}^{k+r})$)

For a prime $p$ and $k\ge 1$, write $a=b+p^{k}h$. The binomial theorem shows $a^p-b^p$ is divisible by $p^{k+1}$: the linear term contains the extra factor $p$ and every higher term contains at least $p^{2k}$. Iteration gives the displayed modular congruence for every $r\ge 0$, including $p=2$. Applied to Fermat's little theorem, it yields $a^{p^n}\equiv a^{p^{n-1}}(\mathrm{mod}{p}^n)$.