Como éste tiene dos hijos que tienen altura-negra, o bh(formula_6) o bh(formula_6)-1 (dependiendo si es rojo o negro).