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