Set Difference Union Intersection/Proof 1