一、同余定理的定義：
兩個整數a，b，如果他們同時對一個自然數m求余所得的余數相同，則稱a，b對於模m同余。記作a≡b（mod m）。讀為：a同余於b模m。在這里“≡”是同余符號。
二、同余定理的一些性質：
- 對於同一個除數，兩個數之和（或差）與它們的余數之和（或差）同余。(加減乘同理）
(a+b)%c==(a%c+b%c)%c
- 對於同一個除數，如果有兩個整數同余，那么它們的差一定能被這個除數整除。
- 對於同一個除數，如果兩個數同余，那么他們的乘方仍然同余。
- 記憶口訣：
1、“數的和差積與余的和差積同余”
2、“數與數同余，則方與方同余”
3、“同余相減得整除”