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