∆ Определение 1.

Numbers $a$ and $b$ are called congruent modulo $m\ne0$, if $a-b⋮ m$. Notation: $a\equiv b\pmod m$.