卢卡斯对应定理

设 为 素数 且

			(1)
			(2)

则

(3)

这在 Fine (1947) 中得到证明。

该定理是 二项式系数 mod 2 可以使用位运算 AND(NOT(),) 计算，从而得到 谢尔宾斯基筛 的根本原因。