In the integers modulo $p$, $p$ a prime, there are at most $n$ solutions of $x^n = 1 \pmod{p}$ for every integer $n$.
I was wondering if there is any proof which only uses group theory and no field theory. This is a question asked in supplementary exercise of Herstein's group theory.