Изменения

Пусть искомое расстояние - есть расстояние между вершинами <tex>a, b</tex> где <tex>b</tex> - не является листом. Т.к. b не является листом, то значит её степень больше еденицы => , следовательно из неё существует ребро в непосещенную вершину (дважды посетить вершину <tex>b</tex> мы не можем). Лемма доказана.