Aus (A\B)∪(B\A) = A∪B folgt A∩B = ∅Sei also (A\B)∪(B\A) = A∪B #
und angenommen, es gäbe ein Element x in A∩Balso x ∈ A und x ∈ B. ##Dann ist jedenfalls auch x ∈ A∪B also wegen # auch
x ∈ (A\B)∪(B\A)
⇒ x ∈ A\B) oder x ∈ B\A
⇒ ( x ∈ A und x ∉ B ) oder ( x ∈ B und x ∉ A ) beides steht im Widerspruch zu ##
Also gibt es kein x mit ##, also ist A∩B = ∅.