Изменения

Идем по второму пути из <tex> w </tex> в <tex> v </tex> до пересечения с циклом(вершина <tex> b </tex>).

Забудем про дугу <tex> (a, b) </tex> содержащую вершину <tex> v </tex>. Наличие двух реберно не пересекающихся путей из из <tex> u </tex> в <tex> w </tex> очевидно.

}}