同余定理：数论中的重要概念。给定一个正整数m，如果两个整数a和b满足a-b能够被m整除，即(a-b)/m得到一个整数，那么就称整数a与b对模m同余，记作a≡b(mod m)。对模m同余是整数的一个等价关系。
m|(a-b)表示m能够整除a与b的差。也就是说，a与b除以m的余数是相同的。也说“a与b关于m同余”。 例如8|(27－19), 27除以8的余数是3, 19除以8的余数也是3。27与19关于8同余。
