прямая ER является биссектрисой для угла DEF., а также пересекает прямые PR и EF. При этом образуются углы PRE и REF. Эти углы равны, так как угол PRE=∠PER (как углы при основании равнобедренного треугольника EPR. т.к. ER биссектриса ∠PER=∠REF, значит эти углы являются накрест лежащими углами, следовательно прямые PR и EF параллельны