Rule of Transposition/Variant 1/Formulation 2/Reverse Implication/Proof