Case I:

x's sibling is Red, s has two Black children

• Switch colors of s and parent(x) (color(s) = Black, color(parent(x)) = Red)
• Rotate parent(x) left
• Reset sibling s
• Case I is now Case II, Case III, or Case IV