Rule of Conjunction/Sequent Form

Theorem
The Rule of Conjunction can be symbolised in sequent form as follows: