6.1.2.6 Sequent calculus

Problem: Prove the derivability of the formula in sequent calculus: \[ \vdash \overline{A \vee B} \rightarrow(\mathrm{A} \rightarrow \bar{B}) . \]