若p是质数,则对于任意整数
1
≤
m
≤
n
1\le m\le n
1≤m≤n,有:
C
n
m
≡
C
n
mod
p
m
mod
p
∗
C
⌊
n
p
⌋
⌊
m
p
⌋
(
mod
p
)
\huge\ C_n^m\equiv C_{n \operatorname{mod}p}^{m \operatorname{mod} p}*C_{\left\lfloor\frac{n}{p}\right\rfloor}^{\left\lfloor\frac{m}{p}\right\rfloor}(\operatorname{mod}p)
Cnm≡Cnmodpmmodp∗C⌊pn⌋⌊pm⌋(modp)
证明暂时不想写。