Congruent Modulo

Definition

1. With $n\ge 2$ be fixed integer
2. Then, integers $m_1,m_2$ are congruent modulo $n$ denoted as $m_1\cong m_2\mathrm{mod}2$ if and only if $m_1-m_2=kn$ where:
   • $k\in \mathbb{Z}$
   • $n$ is the modulus of congruence