同余计算的一项应用