模运算应用