Изменения

Так как с увеличением порядка дерева мы подвешиваем к текущему корню ровно один корень другого дерева, то степень корня с увеличением порядка на <tex>1 </tex> также увеличивается на <tex>1</tex>. То дерево порядка <tex>k</tex> имеет корень степени <tex>k</tex>. И так как при таком увеличении порядка в полученном дереве лишь степень корня возросла, то доказываемый инвариант, то есть степень корня больше степени остальных вершин, не будет нарушаться.