Rule of Addition/Sequent Form

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