6.1.1.6 Propositional calculus

Problem: Prove in propositional calculus (letters denote arbitrary formulas): \[ (A \rightarrow B) \rightarrow((C \vee(A \rightarrow C)) \vee B) . \]