Legyenek $a$ és $b$ egész számok és $m$ pozitív egész szám.
Ekkor
$a \equiv b \; \textrm{mod}\ m$, ha $ m \mid a-b$
Két szám akkor kongruensek mod m, ha m osztja a két szám különbségét.
1.
a) Bizonyítsuk be, hogy $a \equiv b \; \textrm{mod}\ m \Rightarrow a\cdot c \equiv b \cdot c \; \textrm{mod}\ m $
b) Bizonyítsuk be, hogy $a\cdot c \equiv b\cdot c \; \textrm{mod}\ m \Rightarrow a \equiv b \; \textrm{mod}\ m $
