\( a \equiv b \; \textrm{mod}\ m \Rightarrow a\cdot c \equiv b\cdot c \; \textrm{mod}\ m \)
\( a\cdot c \equiv b\cdot c \; \textrm{mod}\ m \Rightarrow a \equiv b \; \textrm{mod}\ m \quad (m,c)=1\)
Kongruenciák szorzása és osztása egy egész számmal.