Rule of Commutation/Conjunction/Formulation 1/Proof 1