Rule of Association/Disjunction/Formulation 1/Proof 1