Изменения

Будем пользоваться свойством,что в любом дереве >= 2 висячих вершинлистов(имеют степень у них = 1один).

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