若p整除(p-1)(p-2)……2×1 + 1，则p必为素数，试证之。

反证法：

设k为2，3，……，p-1中的任何一个。
假设k|p，由于p|(p-1)(p-2)...×2×1+1，
所以k|(p-1)(p-2)...×2×1+1。
另外，由于k|(p-1)(p-2)...×2×1，
所以k|((p-1)(p-2)...×2×1+1)-(p-1)(p-2)...×2×1，
即k|1，与前面矛盾，
所以k不整除p，也就是2，3，……，p-1任何一个都不整除p
所以p是质数。