前半块与后半块本身已是解,并形成固定轨道。
共有 (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。