3n⊆ Z × Z mit x ≡n y ⇔ 3|(x − y) also ist
≡3 = { (x,y) ∈ Z × Z | n|(x − y) } und ≡5 = { (x,y) ∈ Z × Z | 5|(x − y) }
Sei also (x,y) ∈ ≡3 ∩ ≡5
==> 3|(x − y) ∧ 5|(x − y)
==> In der Primfaktorzerlegung von x-y kommt sowohl der
Faktor 3 als auch der Faktor 5 vor
==> 15| (x-y)
==> (x,y) ∈ ≡ 15 .
Gilt umgekehrt (x,y) ∈ ≡ 15
==> 15|(x − y)
==> In der Primfaktorzerlegung von x-y kommt sowohl der Faktor 3 als auch der Faktor 5 vor.
==> 3|(x − y) ∧ 5|(x − y)
==> (x,y) ∈ ≡3 ∩ ≡5 .