Rule of Distribution/Conjunction Distributes over Disjunction/Left Distributive/Formulation 2/Proof 2