# Every path from a given node to any of its descendant NIL nodes contains the same number of black nodes.
# Всякий простой путь от данного узла до любого листового узла, являющегося его потомком, содержит одинаковое число чёрных узлов.