Si un nodo es rojo, sus hijos deben ser negros.