Empty Intersection iff Subset of Complement/Proof 1