Kongruencja - dzielenie

[g-dreamer]

Może mi ktoś rozpisać jakoś dokładniej podpunkt 2, po kolei, co z czego wynika, i dlaczego dla NWD(d,m)=1 taki zapis działa?
2.
Jeżeli \(\displaystyle{ ad \equiv \ bd \ (mod \ m)}\) oraz \(\displaystyle{ (d,m)=1}\)to \(\displaystyle{ a \equiv \ b (mod \ m)}\),
np.:\(\displaystyle{ 3 7 \equiv \ 7\cdot 7 \ (mod \ 4) \\\ (4,7) =1 \\\ 3 \equiv \ 7 \ (mod \ 4)}\)
https://matematyka.pl/viewtopic.php?t=30 ... ongruencja

[kuch2r]

Jezeli:
\(\displaystyle{ ad\equiv bd \quad \mod{m}\iff m|(ad-bd)\iff m|d(a-b)}\)
Nastepnie:
\(\displaystyle{ m|d(a-b) \ \ NWD(m,d)=1 m|(a-b)\iff a\equiv b \quad \mod{m}}\)