Изменения

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