Изменения

Пусть из <tex> w </tex> в связана с <tex> v </tex> есть два двумя реберно не пересекающихся путипересекающимися путями. Назовем эти пути <tex> P_1 </tex> и <tex> P_2 </tex>. Объединение будет реберно-простым циклом. Обозначим его за <tex> C </tex>. Вершина <tex> w </tex> реберно двусвязна с <tex> v </tex>.Пусть вершины Забудем про путь между <tex> a </tex> и <tex> b </tex> - первые пересечения а так же про вершину <tex> P_1 </tex> и <tex> P_2 v </tex> с <tex> C </tex> соответственно.  Рассматриваем два пути <tex> wau </tex> и <tex> wbu </tex> такихПолучаем, что части <tex> au </tex> и <tex> bu </tex> идут в разные стороны по <tex> C </tex> относительно часовой стрелки.  Наличие двух таких реберно не пересекающихся путей очевидно, а значит <tex> u </tex> и <tex> w </tex> реберно двусвязныйребернодвусвязны.