Изменения
→Корректность сопоставления деревьев
Число черных узлов на любом пути от листа до вершины одинаково.
|proof=
В B-дереве глубина всех листьев одинакова. Из каждого узла B-дерева выбирается только один элемент для окраски в черный цвет, следовательно, одинаково и путь в симметричным бинарным B-дереве состоит только из элементов, лежащих количество внутренних узлов на одном каждом пути в . Мы сопоставляем чёрный цвет одному элементу внутреннего узла B-дереведерева. Значит , количество черных чёрных элементов на любом пути от листа до вершины одинаково.
}}
{{Утверждение
Корень дерева {{---}} черный.
|proof=
}}