如图所示,已知AB平行于EF,AB平行于CD,完成下类推理.