6.1.2.3 Sequent calculus

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