$a,n>1$ iken $n\mid \varphi(a^n-1)$ olduğunu gösterelim. ($n=1$ iken iddia aşikar doğru)
$I=\{k\in\mathbb{N}^+:a^k\equiv 1\ \mod(a^n-1)\}$ olsun.
$n\in I$ olduğu ve $n$ nin $I$ nın en küçük elemanı olduğu kolay.
İddia: $n$, $I$ nın tüm elemanlarını böler. (Bunu, sen göster)
$(a,a^n-1)=1$ (aralarında asal) olduğu için) Euler in Teoreminden $a^{\varphi(a^n-1)}\equiv 1\mod (a^n-1)$, dolayısıyla
$\varphi(a^n-1)\in I$ olur. İddiamızı kullanarak, $n\mid \varphi(a^n-1)$ elde ederiz.