Set Complement inverts Subsets/Proof 1