证明以下式子是重言式：

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

这是蕴含的传递性质。