Изменения

Покроем дерево путями. А именно, сопоставим каждой вершине <tex>v</tex> число <tex>\operatorname{chaininlabel} v</tex> такое, что прообраз каждого <tex>\operatorname{chaininlabel} v</tex> в <tex>T</tex> связен и является простым путем от какой-то вершины вниз до листа.

|statement=В качестве <tex>\operatorname{chaininlabel} v</tex> можно выбрать <tex>\operatorname{order} u</tex>, кратное максимальной степени двойки, где <tex>u \in S(v)</tex>.