Изменения
Нет описания правки
Будем пользоваться свойством,что в любом дереве больше одного листа.Исключительный случай-дерево из одной вершины,но алгоритм сработает верно и в этом случае.
{{Теорема
|statement=
Искомое расстояние - есть расстояние между двумя листами.
|proof=
Пусть нет, пусть искомое расстояние - есть расстояние между вершинами <tex>a,b</tex> где <tex>b</tex> - не является листом. Т.к. b не является листом, то значит её степень <tex>></tex> 1 => из неё существует ребро в непосещенную вершину (дважды посетить вершину <tex>b</tex> мы не можем). Лемма доказана.
}}
{{Теорема
