a tam sayısı 2 veya 3 e bölünmüyorsa
a=2.k1+1=3.k2+r olacak şekilde sıfırdan farklı k1,k2 tamsayıları ve r=1 veya r=2 tamsayısı vardır.
=> a=2.k1+1 için;
a4−1=(a2−1)(a2+1)=(a2−1)((a−1)2+2a)=((2.k1+1)2−1)((2.k1+1−1)2+2.a)=(4.(k1)2+4.k1)(4.(k1)2+4.k1+2)=4.((k1)2+k1).2.(2.(k1)2+2.k1+1)=8.t
=> a=3.k2+r için;
a4−1=(a2−1)(a2+1)=((3.k2+r)2−1)((3.k2+r)2+1)=(9.(k2)2+6.k2.r+r2−1)(9.(k2)2+6.k2.r+r2+1)=3.h çünkü r sayısı 1 veya 2 değerini alabiliyordu. yerine yazınca a4−1=3.h şeklinde olduğu görülebilir.
a4−1=8.t=3.h ise 24∣(a4−1) o halde a4≡1(24) olur.