模运算的应用