Niech oznacza dany ciąg. Niech dla - ta równość definiuje jednoznacznie liczbę Dla ciągu ruch polega na zamianie jego dwóch wyrazów znajdujących się w odległości lub Jeśli umiemy posortować drugi ciąg, to pierwszy też. Definiujemy ciąg przyjmując, że gdzie oznacza tę liczbę spośród dla której różnica jest podzielna przez Ponieważ więc ciąg to permutacja ciągu Ruchy w ciągu odpowiadają zamianie kolejnych wyrazów ciągu Do ciągu można zastosować sortowanie bąbelkowe pozwalające ustawić jego wyrazy w dowolnej kolejności.