a,n>1 iken n∣φ(an−1) olduğunu gösterelim. (n=1 iken iddia aşikar doğru)
I={k∈N+:ak≡1 mod(an−1)} olsun.
n∈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,an−1)=1 (aralarında asal) olduğu için) Euler in Teoreminden aφ(an−1)≡1mod(an−1), dolayısıyla
φ(an−1)∈I olur. İddiamızı kullanarak, n∣φ(an−1) elde ederiz.