6.1.2.4 Sequent calculus

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