6.1.2.5 Исчисление секвенций

Условие: Доказать выводимость формулы в исчислении секвенций: \[ \vdash(A \rightarrow B) \vee(C \rightarrow B) \rightarrow(A C \rightarrow B) \]