已知:AB‖CD,AB‖EF,用反证法证明CD‖EF