Set Complement inverts Subsets/Proof 2