Lời giới thiệu:
Cho m là số nguyên dương, hai số nguyên a và b được gọi là đồng dư với nhau theo module m nếu như a - b chia hết cho m. viết tắt là (a - b)|m hoặc m|(a - b)
Ký hiệu là a ≡ B (mod m) được gọi là một đồng dư thức.
Ví dụ :
3 ≡ -1 (mod 4)
5 ≡ 17 (mod 6)
18 ≡ 0 (mod 6)
Điều kiện a ≡ 0 ( mod m) có nghĩa m là ước của a, hay a là bội của m
Nếu a - b không chia hết cho m, ta viết a 
b (mod m)
