Rule of Implication in Sequent Form