सिद्ध कीजिए कि निम्नलिखित एक तार्किक सर्वसमिका (tautology) है:

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

यह निहितार्थ की संक्रामक संपत्ति (transitive property) है।