以下がトートロジーであることを証明してください:

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

これは含意の推移律です。