Rule of Addition/Sequent Form/Formulation 2

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