Relative Complement inverts Subsets/Proof 1