MathNet 2015-part-04 — 191 bài (EN–VI) Câu hỏi 5

Cho $n$ và $a$ là các số nguyên dương thỏa mãn $a^n \equiv 1 \pmod{n}$. Chứng minh rằng tồn tại số nguyên dương $s$ sao cho $a^s + s \equiv 0 \pmod{n}$.