卢卡斯定理与拓展卢卡斯