Изменения
Нет описания правки
Проведем линию L через вершину s так, чтобы вершина p лежла с одной ее стороны, а q — с другой (иначе L наложится на ребра sp & sq. ), и L никакое из ребер {sx_i : 1<i<k} и {sy_i : 1<i<l} не лежало на ней.
Ребра sq & sq разбивают C_E(s) на две дуги: первая пересекает ребра {sx_i | 1<i<k}, а вторая — ребра {sy_i | : 1<i<l}. L пересекает C_E(s) в двух точках. Расположим v & w в этих точках: v на дуге, пересекающей {sx_i | : 1<i<k}, а w с другой стороны. Картинка 5.
Удалим s и инцидентные ей ребра, нарисуем прямые ребра G, инцидентные v и w. Картинка 6.
Получим, что vw лежит на L. Так как p и q лежат с разных сторон L, ребра, инцидентные v и w, не пересекаются.
