|proof=
''а)'' #<tex>T</tex> {{---}} связно. (Следует из определения) ''б)'' #В <tex>T</tex> нет циклов.(Пусть какие-то две смежные вершины <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> {{---}} дерево.
}}
==ЛитератураСм. также ==[[Граф блоков-точек сочленения]]
== Источники информации ==
== См. также ==
[[Граф блоков-точек сочленения]]
[[Категория:Алгоритмы и структуры данных]]
[[Категория:Связность в графах]]
