A→BB→C⇒A→C

#transitive relation #transitivity #property of relations #implication #order theory