Set Difference is Right Distributive over Set Intersection/Proof 2