Category:Set Difference is Right Distributive over Set Intersection