DM.SNT.1.g: Use the properties of set operations to prove set equality.