Rechenregeln für Kongruenzen

Aus $a\equiv b\pmod m$ und $c\equiv d\pmod m$ folgen $a\pm c\equiv b\pm d\pmod m$ sowie $ac\equiv bd\pmod m$.

Aus $a\equiv b\pmod m$ folgt für jedes $k\ge0$ auch $a^k\equiv b^k\pmod m$. Dies folgt durch wiederholte Multiplikation.