ブロック化により隣接条件が階乗の計数になる。
k,k+nk,k+nk,k+n を1つのブロックとみなす。ブロックの順序は 222 通りで、できた 2n−12n-12n−1 個の対象は (2n−1)!(2n-1)!(2n−1)! 通りに並べられる。したがって ∣Ak∣=2(2n−1)!|A_k|=2(2n-1)!∣Ak∣=2(2n−1)!。