一個常見的簡單證明[3]用的是一個令人聯想到費馬小定理之最簡單證明的方法:考慮乘積

用兩種方式模p之後,一方面可以得到:

另一方面,我們將
中每一個比
大的數都減去
,這樣我們得到一個新數組
,其中每個數都介於
與
之間。取絕對值後,我們便得到
個介於1和
之間(含等於
)的整數(這是因為
不是整數,因此比
小的整數必然小於等於
)。
關鍵的一步,是證明這些數兩兩不等。
證明是用反證法:假設在這些數中有兩個數
和
相等,那麼找出其對應的「原型」:
與
,其中k和l是兩個介於1和
之間的整數。分別平方後,就有:

因此p整除兩者之差:
。
但這不可能,因為p不整除
,並且由於k和l是兩個介於1和
之間的整數,它們的和與差的都介於
與
之間,絕對值比
小,不可能被
整除。這導致了矛盾!
因此這
個數都在1和
之間,且兩兩不等。於是它們就是
。這樣,

(因為我們知道
)
(比
大的減去
之後為負數,因此共有
個-1)

總結兩次不同算法的結果,可以得出:
(因為
不整除
)。然而由歐拉判別法可以得出

因此有

引理得證。