Изменения

То, что только черная вершина может иметь красных детей, совместно с <tex>4</tex>-тым свойством говорит о том, что корень дерева должен быть черным, а значит определения можно считать эквивалентными.

== Высота красно-черного дерева ==