Изменения

|proof=Докажем по индукции: База <tex>k = 1</tex> {{---}} верно. Пусть для некоторого <tex>k </tex> условие верно, то докажем, что для <tex>k + 1</tex> это также верно: Так как в дереве порядка <tex>k+1</tex> высота больше на <tex>1</tex> (так как мы подвешиваем к текущему дереву дерево того же порядка), чем в дереве порядка <tex>k</tex>, а в дереве нулевого порядка высота <tex>0</tex> , то дерево порядка <tex>k+1</tex> имеет высоту <tex>k+ 1</tex>, то переход верный, то свойство доказано.