Изменения
Нет описания правки
{{Утверждение
|statement=
<tex> R(v)=i => K(v) >=\ge 2^i </tex>
|proof=
Докажем по индукции:
Для 0 равенство очевидное.
Ранг вершины стает равным <tex> i </tex> при сливании поддеревьев ранга i-1, отсюда следует:
<tex>K(v)>=K(v1)+K(v2)>=\ge 2^({i-1)}+2^({i-1)>=} \ge 2^i </tex>.
}}
Следствия из предыдущей леммы:
