>>616
a<bかつb<cのときに、a<cが成立するから