Предполагается, что дерево сбалансировано после вставки БЕЗ поворота.
Если вращение произошло - это другой случай, и вы имеете дело с ним с ВРАЩЕНИЕМ, я понял из "Since X remains balanced.."
это предположение, и мы показываем здесь, что дерево остается сбалансированным только в этом случае.