A = B ∩ C
Das heißt doch : Für alle x∈ℕ
6|x <=> 2|x und 3|x
Sei also x∈ℕ mit 6|x
==> ∃ k∈ℕ mit 6*k=x
==> 2*3*k=x
==> 2*(3k)=x und 3*(2k)=x
==> 2|x und 3|x
Umgekehrt: Sei also x∈ℕ mit 2|x und 3|x
==> x enthält einen Primfaktor 2 und einen Primfaktor 3,
also ist 2*3 Teiler von 6.