Case 2: The current node's parent P is black, so property 4 (both children of every red node are black) is not invalidated.
Случай 2: Предок P текущего узла чёрный, то есть Свойство 4 (Оба потомка каждого красного узла — чёрные) не нарушается.