Démontrez que ce qui suit est une tautologie :

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

Ceci est la propriété transitive de l'implication.