同余定义

如果a，b除以c的余数相同，就称a，b对于除数c来说是同余的，且有a与b的差能被c整除．（a，b，c均为自然数）

同余定理

①如果 a%b = c, 则有(a+kb)%b = c; (k为非0整数)

③(a+b)%c = ((a%c) + (b%c)) % c;

④(a*b)%c = ((a%c)*(b%c)) % c;

（一）可加性