Congruences

As will be known, when we write $12 \equiv 7 \text{(modulo) } 5$ we are expressing the fact that both $12$ and $7$ have the same remainder when divided by $5$.