Weźmy pod uwagę dowolne rozmieszczenie typu (B). Niech
będzie
liczbą sąsiadującą w wierszu z liczbą 1; zatem
Wykonujemy
następującą operację:
Każdą liczbę
zmniejszamy o 1,
zaś jedynkę zastępujemy przez
; pozostałych liczb nie zmieniamy.
(Na ilustracji przykładowe rozmieszczenie typu (B) dla
w którym
oraz nowe rozmieszczenie, powstałe w wyniku opisanej
operacji).
W nowym rozmieszczeniu widzimy wiersz, w którym sąsiadują ze sobą dwie
liczby różniące się o 1, mianowicie
i
Jest to jedyny taki
wiersz – bowiem w pozostałych wierszach moduł różnicy między oboma
wyrazami albo się zwiększył, albo pozostał niezmieniony. Uzyskaliśmy więc
rozmieszczenie typu (A).
Zauważmy, że widząc uzyskane rozmieszczenie, jesteśmy w stanie
jednoznacznie odtworzyć rozmieszczenie wyjściowe: mamy wiersz z liczbami
i
; trzeba zastąpić
przez jedynkę, zaś każdą
liczbę
trzeba zwiększyć o 1.
Opisana operacja określa zatem różnowartościową funkcję ze zbioru
rozmieszczeń typu (B) do zbioru rozmieszczeń typu (A). Jednak nie na cały
ów zbiór. Przecież rozmieszczenie typu (A) może mieć w jednym
wierszu liczby 1, 2 (a w pozostałych wierszach pary liczb, różniących się
więcej niż o 1). Natomiast opisana operacja produkuje rozmieszczenia
z pojedynczymi wierszami postaci
lub
gdzie
Wniosek: jest więcej rozmieszczeń typu (A); wylosowanie takiego rozmieszczenia
jest bardziej prawdopodobne niż typu (B).