Rule of Transposition/Formulation 1/Forward Implication/Proof