已知：AB∥CD,AB∥EF,求证：CD∥EF.
证明：（反证法）假设CD不平行EF,那么CD与EF必交于一点P,因为CD∥AB,EF∥AB,这样,过点P有两条直线平行AB,这与“过直线外一点有且只有一条直线与已知直线平行”相矛盾,所以,假设CD不平行EF错误.因此CD∥EF.