定义 p为素数的充要条件为 (p−1)!≡−1≡p−1(modp) 也可以说 p|(p−1)!+1 证明 百度百科的证明特别简明易懂 => 点此跳转 应用 可以将一些与阶乘有关的同余式和素数联系起来,以解决某些特定的问题 YAPTCHA HDU - 2973 Zball in Tina Town HDU - 5391