Rule of Simplification/Sequent Form

Theorem
The rule of simplification can be symbolised by the sequents: