We removed one black node from every path, and the new root is black, so the properties are preserved.
Мы удалили один чёрный узел из каждого пути и новый корень является чёрным узлом, так что свойства сохранены.