同余是数论中的重要概念。其定理内容如下：

     给定一个正整数m，如果两个整数a和b满足a-b能够被m整除，即(a-b)÷m得到一个整数，那么就称整数a与b对模m同余，记作a≡b(mod m)。对模m同余是整数的一个等价关系。