最初のブロック全体と後半ブロック全体は既に解で、軌道が固定される。
(2pp)\binom{2p}{p}(p2p) 個の ppp 元部分集合がある。{1,…,p}\{1,\ldots,p\}{1,…,p} と {p+1,…,2p}\{p+1,\ldots,2p\}{p+1,…,2p} を除くと、どちらも和が ppp で割り切れる。残りの集合では第一ブロックから選ぶ個数を rrr とし、0<r<p0<r<p0<r<p である。