考虑 (p+1)/2 个整数 m2,其中 m 为 0,1,...,(p-1)/2.不难看到,这些整数中的任意两个之差 i2-j2 = (i+j)(i-j) 都不可能被 p 整除 (请读者想一想这是为什么?),这表明这些整数除以 p 所得的余数各不相同.