Изменения

*имеет <tex>2^k</tex> узлов;

*имеет высоту <tex>k</tex>;

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