Lucas定理模板如何应用于特定数论问题?