upon "distribution", you will come up with inside all these sets: (which cannot happen) which will give you a conclusion that must be in the empty set.. (But duh! something is inside the empty set! (Surprised)