Modulare Division und Kürzen

Ist $a$ modulo $m$ invertierbar, darf $ax\equiv b\pmod m$ mit $a^{-1}$ multipliziert werden. Es folgt eindeutig $x\equiv a^{-1}b\pmod m$.

Aus $ac\equiv bc\pmod m$ folgt bei $\operatorname{ggT}(c,m)=1$ die Kongruenz $a\equiv b\pmod m$. Man multipliziert mit $c^{-1}$.