一个常见的简单证明[3]用的是一个令人联想到费马小定理之最简单证明的方法:考虑乘积

用两种方式模p之后,一方面可以得到:

另一方面,我们将
中每一个比
大的数都减去
,这样我们得到一个新数组
,其中每个数都介于
与
之间。取绝对值后,我们便得到
个介于1和
之间(含等于
)的整数(这是因为
不是整数,因此比
小的整数必然小于等于
)。
关键的一步,是证明这些数两两不等。
证明是用反证法:假设在这些数中有两个数
和
相等,那么找出其对应的“原型”:
与
,其中k和l是两个介于1和
之间的整数。分别平方后,就有:

因此p整除两者之差:
。
但这不可能,因为p不整除
,并且由于k和l是两个介于1和
之间的整数,它们的和与差的都介于
与
之间,绝对值比
小,不可能被
整除。这导致了矛盾!
因此这
个数都在1和
之间,且两两不等。于是它们就是
。这样,

(因为我们知道
)
(比
大的减去
之后为负数,因此共有
个-1)

总结两次不同算法的结果,可以得出:
(因为
不整除
)。然而由欧拉判别法可以得出

因此有

引理得证。