Изменения

В определениях, приведенных выше, <math>T</math> - дерево.

|proof=

''а)'' <math>T</math> - связно. (Следует из определения)

''б)'' В <math>T</math> нет циклов.

Пусть какие-то две последовательные вершины <math>A_k</math> и <math>A_l</math> принадлежат какому-то циклу. Тогда ребро <math>(A_k, A_l)</math> принадлежит этому же циклу.