【ICPC模板】威尔逊定理

若p是素数，则(p – 1)!与p – 1即-1模除p同余。等价的说法是：如果p是素数，则(p – 1)! + 1能被p整除。值得注意的一点是，这个定理的逆命题，即如果对于一个数x，满足条件(x – 1)! + 1可以被x整除，那么x是素数。

综上，威尔逊定理给出了判定一个数是否是素数的充要条件，但是因为阶乘函数值的增长非常快，所以使用这个定理来判断一个数的素性会比较低效。