Implication is Left Distributive over Conjunction/Formulation 1/Proof 1