# If, after a deletion, a gray node has three white children and one black one, the gray node must be deleted and replaced by the black child node. | # If, after a deletion, a gray node has three white children and one black one, the gray node must be deleted and replaced by the black child node. |