Prove that the following is a tautology:

((A → B) ∧ (B → C)) → (A → C)

This is the transitive property of implication.