Изменения
Нет описания правки
Тогда получим, что все соседи t вершины s находятся снаружи C_E(s) и только ребра G', пересекающие R_E(t), являются инцидентными s. Картинка 4.1
Проведем линию 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.
