p 是能整除(p-1)!+1的最小质数
证：
由wilson定理,p|((p-1)!+1),即(p-1)!==-1 mod p
对于任意整数n