AB//EF//CDのとき、それらの線分の長さの関係はどのようになっているでしょうか。