Rule of Simplification/Sequent Form

Theorem
The Rule of Simplification can be symbolised by the sequents: