Изменения

Чтобы показать, что алгоритм завершает свою работу, найдем найдём максимальное количество операций проталкивания и подъёма. Для того этого докажем несколько вспомогательных лемм.