প্রমাণ করুন যে নিচের সূত্রটি একটি টটোলজি:

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

এটি ইম্প্লিকেশনের ট্রানজিটিভ প্রপার্টি।