a,n>1 iken n∣φ(an−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.