拓展卢卡斯定理
1