Enunciato

Ogni congruenza modulo $m$ rispetta le seguenti proprietà:

$$ a \equiv b \ (\text{mod } m) $$

$$ c \equiv d \ (\text{mod } m) $$

1. $a+c \equiv b + d \ (\text{mod } m)$
2. $a \cdot c \equiv b \cdot d \ (\text{mod } m)$

Dimostrazione

todo