当 ppp 是质数,xxx 是偶数时
x!≡(p−1)×inv((p−1−x)!)(modp)x!\equiv (p-1)\times \text{inv}((p-1-x)!)\pmod px!≡(p−1)×inv((p−1−x)!)(modp)
其中 inv(x)\text{inv}(x)inv(x) 是 xxx 在模 ppp 意义下的逆元