Modular Arithmeticeasy
0:00.0

The congruence ab(modn)a \equiv b \pmod n implies (ab)(a - b) is divisible by nn.