大组合数取模的Lucas定理