Chứng minh rằng biểu thức sau là một hằng đúng:

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

Đây là tính chất bắc cầu của phép kéo theo.