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