ein Satz zum Rechnen mit Rest-klassen:

Seien a, b, c, m ganze Zahlen, m ≠ 0. Dann gilt die Äquivalenz \begin{array}{l}ac\equiv bc\quad\text{mod}\,m\\\quad\iff a\equiv b \quad\text{mod}\,\frac{m}{ggT(c,m)}.\end{array}