Доказать эффективность повторных вызовов преемника () в двоичных деревьях?

Мне нужна подсказка для этого упражнения из книги CLRS Algorithms:

Докажите, что независимо от того, с какого узла мы начинаем в двоичном дереве поиска высотой h, k последовательных вызовов Tree-Successor взять O (k + h) раз.