Rule of Commutation/Disjunction/Formulation 1/Proof 1