Rule of Addition in Sequent Form