Set Difference Union Intersection/Proof 2