Lucas定理用于解决较大组合数的取模问题，下面的理论整理源自冯志刚的《初等数论》，其与百度百科上呈现的Lucas定理形式上不同，但是容易看到二者的转化形式。首先我们来整理一下冯志刚的《初等数论》中关于Lucas定理的证明：