Todos los caminos desde un nodo a un nodo vacío deben contener el mismo número de nodos negros.