Cormen. Red-black trees. Why do we need to rotate the tree after fixing its properties?
After recoloring in (b), the following rule is still violated:


children of a red node are black.


Recoloring while preserving black height in step (b) introduces new double red nodes 2 and 7, which remains after step (c) and finally eliminated in step (d).