Which properties might be violated?
To correct the violations, look at the violation from another perspective:
Assume the child of the deleted node is colored ``double-Black'', violating
property 1, and we want to give half of the ``double-Black'' to another Red
node or push half of the Black out the top of the tree.