Disjunction is Right Distributive over Conjunction