Rule of Implication/Sequent Form/Proof 1