Set Difference is Right Distributive over Set Intersection/General Case/Proof