6.1.1.6 Исчисление высказываний

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