Угол BEF=углу EFD(т.к. равны 90 град), они накрест лежащие при ED и BF, а если накрест лежащие углы равны, то прямые параллельны!