Lucas 定理 对质数 p 有 (mn)modp=(⌊m/p⌋⌊n/p⌋)(mmodpnmodp)modp. 推论: (mn) 为奇数当且仅当 n&m=m Wilson 定理 (p−1)!modp=⎩⎨⎧−1,2,0,p∈Pp=4otherwise.