We want to count in circles.1
Let $n \in \Z $ with $n > 1$ and take $a, b \in \Z $. The integers $a$ and $b$ are congruent modulo $n$ (or with respect to the modulus $n$) if $n$ is a divisor of their difference.2