Given integers a and b and n∈N, we say that a and b are congruent modulo n if n∣(a−b). We express this as a≡b (mod n). If a and b are not congruent modulo n, we write this as a≡b (mod n).