Principle of Dilemma/Formulation 2/Forward Implication/Proof 1