a \equiv_m b \Leftrightarrow m \mid a - b