Вход и выход ограничен deque
Как доказать, что число перестановок в возрастающей последовательности, использующих входную ограниченную деку, равно количеству перестановок, использующих выходную ограниченную деку? В книге "Искусство компьютерного программирования" Кнута дается, что существует взаимно однозначное соответствие между входной ограниченной перестановкой, скажем, x, и "rev инверсии обратного x", и последнее можно получить с помощью ORD. Как доказать, что его можно получить с помощью ORD?