A ∩ B ≠ ∅, d.h.in A ∩ B liegen Elemente von A. Ihre Menge sei D
A ∩ C = ∅, das heißt, die soeben genannten Elemente von D liegen nicht in C
und (A ∩ B) \ C = ∅. Da die die soeben genannten Elemente von D nicht in C liegen, bleiben sie in der Menge A ∩ B auch nach Verminderung um C. Dann gilt (A ∩ B) \ C ≠ ∅.