3.1. Kongruencia és közös osztók (1.5.1. Állítás)
1.5.1. Állítás:
Ha $a \equiv b \pmod m$ teljesül, akkor $(a, m) = (b, m)$.
Részletes Bizonyítás:
A feltétel szerint $a \equiv b \pmod m$, ami a definíció alapján azt jelenti, hogy $m \mid a - b$. Ebből következik, hogy létezik olyan $k$ egész szám, amelyre: $b = a + k \cdot m$
1. Legyen $d = (a, m)$. Tudjuk, hogy egy $d$-vel osztható szám bármely többszöröse, illetve ilyenek összege is osztható $d$-vel.
2. Mivel $d$ a legnagyobb közös osztója $a$-nak és $m$-nek, ezért a $d \mid a$ és $d \mid m$ oszthatóságokból következik, hogy $d \mid k \cdot m$ is teljesül.
3. Ebből adódik, hogy $d$ osztja az összegüket is: $d \mid a + k \cdot m = b$.
Ezek szerint $d$ közös osztója $b$-nek és $m$-nek is. Mivel egy közös osztó nem lehet nagyobb, mint a legnagyobb közös osztó, ezért: $d = (a, m) \le (b, m)$
Mivel $a$ és $b$ szerepe az állításban teljesen szimmetrikus, ugyanezzel a gondolatmenettel belátható a fordított irányú egyenlőtlenség is: $(b, m) \le (a, m)$
A két egyenlőtlenségből együtt pedig $(a, m) = (b, m)$ valóban következik. □