다음이 항진명제임을 증명하시오:

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

이것은 함의의 추이적 속성입니다.