同余定理
若两个整数a、b被自然数m除有相同的余数，那么称a、b对于模m同余，用式子表示为：a≡b(modm)，左边的式子叫做同余式。
同余式读作：a同余于b，模m。由同余的性质，我们可以得到一个非常重要的推论：
若两个数a，b除以同一个数m得到的余数相同，则a，b的差一定能被m整除
用式子表示为：如果有a≡b(modm)，那么一定有a－b＝mk,k是整数，即m|(a－b)
