треугольники EMP и FMD равны за двумя сторонами и углом между ними
(EM=FM, MP=MD - так как отрезки EF и PD пересекаются в их середине M.
угол EMP=угол FMD - как вертикальные)
из равенства треугольников следует равенство углов
угол EFD= угол DFP - єто внутренние разносторонние при прямых PE и DF и секущей
DF
по признаку параллельности прямых PE и DF параллельные. Доказано