text: Существует два случая: высота левого поддерева равна высоте правого поддерева (исключая случай, когда у листа нет поддеревьев) высота дерева по направлению движения меньше противоположной(«брат» направления) и баланс «брата» равен 0 (разбор этого варианта довольно сложен, так что пока без доказательства) Для облегчения понимания приведённый алгоритм не содержит каких-либо оптимизаций.