n divides the totient of $p^n-1$ when p is prime

Solution to Abstract Algebra by Dummit & Foote 3rd edition Chapter 3.2 Exercise 3.2.15
Let $p$ be a prime and let $n$ be a positive integer. Find the order of $p$ in $G = (\mathbb{Z}/(p^n-1))^\times$ and deduce that $n|\varphi(p^n-1)$, where $\varphi$ denotes the Euler totient function.

Solution: We have $p^n-1 \equiv 0$ in $G$, hence $p^n = 1$. Thus $|p|$ divides $n$.
Moreover, if $1 \leq k < n$, then $p^k < p^n-1$, so that $p^k \not\equiv 1$. Thus $|p| = n$.
By Lagrange's Theorem we deduce that $n|\varphi(p^n-1)$.