In order to put these two sequents together, we can use a form of the rule modus ponens which says that from a sequent X ⊢ A/B and a sequent Y ⊢ B, we can derive the sequent X.Y ⊢ A. We can use this rule to derive: