Modular congruence (source code)

= Modular congruence
{title2=$\equiv$}

The congruence $a\equiv b\pmod n$ means that $n$ divides $a-b$.