n5−n=n(n−1)(n+1)(n2+1) şeklinde yazabiliriz. 5 sayısının n,(n−1) ve (n+1)'i tam bölmediğini kabul edelim. n≠5kn≠5k+1n≠5k+4
Geriye
n=5k+2 ve n=5k+3 olduğu durumları incelemek kaldı.
n2+1=(5k±2)2+1=25k2±20k+4+1⏟5 olduğundan
n2+1 sayısı
5'e bölünür. Dolayısıyla her
n pozitif tamsayısı için
5∣n5−n olur.