Изменения
Нет описания правки
Искомое расстояние - есть расстояние между двумя листами.
<tex>$\begin{Proof}Box$</tex>
'''Доказательство:''' пусть нет, пусть искомое расстояние - есть расстояние между вершина a, b, где b - не является листом.Т.к. b не является листом, то значит её степень > 1 => из неё существует ребро в непосещенную вершину (дважды посетить вершину b мы не можем). Лемма доказана.
