Изменения
Нет описания правки
Пусть какие-то две смежные вершины <tex>A_k</tex> и <tex>A_l</tex> принадлежат какому-то циклу. Тогда ребро <tex>(A_k, A_l)</tex> принадлежит этому же циклу.
Следовательно, существуют два реберно не пересекающихся -непересекающихся пути между вершинами <tex>A_k</tex> и <tex>A_l</tex>, т.е. <tex>(A_k, A_l)</tex> - не является мостом. Но <tex>(A_k, A_l)</tex> - мост по условию. Получили противоречие.
<tex>T</tex> - дерево.
}}
== См. также ==
[[Граф блоков-точек сочленения]]
