130
правок
Изменения
м
Нет описания правки
{{Лемма
|statement=Наличие двух различных рёберно-простых путей между какими-либо двумя вершинами неориентированного графа <tex>G</tex> равносильно наличию цикла в этом графе.
|proof=
"<tex>\Rightarrow</tex>"
