Intersection with Set Difference is Set Difference with Intersection/Proof 2