展开 数论卢卡斯定理