Sei n∈ℤ Reflexivität: Zu zeigen: Für jedes x∈ℤ gilt a≡ a (mod n)
Nach der Def. heißt das n|a-a. Da a-a=0 und 0 durch jede Zahl
teilbar ist, ist das erfüllt.
Transitiviät :Wenn a≡ b (mod n) und b≡ c (mod n)
dann auch a≡ c (mod n)
Seien also a,b,c ∈ℤ mit a≡ b (mod n) und b≡ c (mod n)
==> n|b-a und n|c-b.
Wenn n zwei Zahlen teilt, dann auch deren Summe.
Diese ist c-a, also a≡ c (mod n)
und Symmetrie: s. Kommentar