İyice az matematik. Yoksa bi sürü matematik mi?
Bir başka ispatı daha var. Golomb'un kombinatorik kullandığı ispat. Ben de oradaki felsefeyi buraya aktaracağım.
Şimdi, elimizde $x$ değişik renkten oluşan boncuklar olsun. Bu boncukları ipe dizerek kolye yapacağız ve kaç farklı kolye yapabileceğimizi sayacağız. Öncelikle ipin ucunu bağlamadan, dizi biçiminde geçirelim ipe boncukları. $m$ tane boncuk kullanacağımız için ve $x$ farklı renkte boncuğumuz olduğu için $x^m$ tane boncuk geçirilmiş ip elde ederiz. Fakat ipin iki ucunu bağladığımız zaman elde ettiğimiz kolyelerin bazıları birbirinin aynısı olacaktır. Bu konuyu irdelemeden önce kolyelerin arasından tek renkte olanları ayıralım. Açık ki tek rekte olan $x$ farklı kolye var (çünkü $x$ farklı renk var). O halde elimizde en az iki renkte boncuktan oluşan
\begin{displaymath}
x^m-x
\end{displaymath}
kolye bulunmakta. Şimdi kolyelerin nasıl aynı olabileceği konusuna geri dönelim.
Basit bir örnekte sözü edilen durumu gözleyebiliriz. Diyelim ki iki rengimiz $k$ (kırmızı) ve $s$ (siyah) olsun ve beş boncuklu kolyeler yapıyor olalım. Bu durumda $kksks$ ve $ksksk$ biçiminde ipe dizilmiş boncuklar, ip uç uca bağlandığında aynı kolyeyi verecekti. İlk kolyeyi boynunuza takıp kenarda kalan kırmızı boncuğu boynunuzun arkasından çevirip öbür tarafa geçirirseniz öteki kolyeyle aynı kolyeyi taktığınızı fark edebilirsiniz.
Şimdi, elimizde kalan $x^m-m$ tane kolyeyi gruplara ayıracağız. Yukarıda anlatılan biçimde aynı olan iki kolyeleri bir araya koyacağız, eğer aynı değillerse farklı gruplara koyacağız. Örnek vermek gerekirse, yukarıdaki iki kolye aynı grupta olacak ama $kskkk$ kolyesi başka bir grupta olacak (mesela $kkkks$ kolyesiyle aynı grupta olacak).
[Sıradaki paragraf bu ispatın en önemli iki noktasını içermektedir]
Dikkat edilirse, bir boncuk dizisinin verdiği kolyeyi veren boncuk dizisi $m$ tanedir. Yani $kskkk$ dizinde ipin iki ucunu bağladığımızda elde ettiğimiz kolyeyi veren bu aldığımız diziden başka sadece $4$ tane daha dizi vardır. Onlar da, yukarıda örnekte anlatılan biçimde, bir boncuğu alıp öteki tarafa koyarak elde edilenler. (bu paragrafın neden doğru olduğu irdelenmeli)
Sonuç olarak $x^m-x$ tane kolyeyi farklı gruplara ayırdık ve her grupta bir önceki paragrafta açıkladığımız nedenden, $m$ tane kolye bulunmakta. Bu demek oluyor ki $x^m-x$ sayısı, $m$ çarpı farklı kolye sayısına, yani $m$ çarpı farklı grup sayısına eşittir. Bu $x^m-x$ sayısının $m$ sayısının bir katı olduğu ortaya çıkar. Asıl önerme de buradan ve $m$ sayısının asal $x$ sayısının da $m$ tarafından bölünmediği varsayımından elde edilir.
The American Mathematical Monthly, Vol. 63, No. 10 (Dec., 1956)
Combinatorial Proof of Fermat's "Little" Theorem
S. W. Golomb
p. 718 (1 page)