Изменения
→Реберная двусвязность
''Доказательство:''
Пусть из <tex> w </tex> в <tex> v </tex> есть два реберно не пересекающихся пути, <tex> P_1 </tex> и <tex> P_2 </tex> соответственно. Их объединение будет реберно-простым циклом. Обозначим его за <tex> C </tex>. объединение двух реберно не пересекающихся пути из <tex> w u </tex> связана с в <tex> v </tex> двумя . <tex> C </tex> будет реберно не пересекающимися путями-простым циклом.
Пусть вершина <tex> a </tex> - пересечение <tex> P_1 </tex> с <tex> C </tex>.
Пусть вершина <tex> b </tex> - пересечение <tex> P_2 </tex> с <tex> C </tex>.
