MathNet 2015-part-04 — 191 problems (EN–VI) Question 5

Let $n$ and $a$ be positive integers satisfying $a^n \equiv 1 \pmod{n}$. Show that there exists a positive integer $s$ such that $a^s + s \equiv 0 \pmod{n}$.