Rule of Transposition/Formulation 1/Reverse Implication/Proof