Since all maximal paths have the same number of black nodes, by property 5, this shows that no path is more than twice as long as any other path.
Любой максимальный путь имеет одинаковое число чёрных узлов (по свойству 5), следовательно, не существует пути, более чем вдвое длинного, чем любой другой путь.