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