Rule of Simplification in Sequent Form