모든 노드는 red 혹은 black
루트 노드는 black
모든 nil 노드는 black
Red의 자녀들은 black (red가 연속적으로 존재할 수 없다.)
임의의 노드에서 자손 nil 노드들까지 가는 경로들끼리의 black 수는 같다. (자기 자신 제외)
black height : 노드 x에서 임의의 자손 nil 노드까지 내려가는 경로에서의 black 수 (자신은 카운트하지 않음)
nil 노드
레드블랙트리 쉬운코드