卢卡斯定理（解决大组合数）