Congruences

Recall that for integers $a,b$ and a fixed integer $m>1$ , we define $a\equiv b ({\rm mod} m)$ if and only if $m\vert(a-b)$ . In this case, we say that $a$ is congruent to $b$ modulo $m$ .