Изменения

h = rotateRight(h)

<span style="color:#008000">// поддерживаем инвариант (h должен быть красным)</span>

return ''null''

<span style="color:#008000">// заимствуем у брата если необходимо</span>