平移第一块中所有选中元素保持个数,平移 ppp 次后回到原状。
固定与 {p+1,…,2p}\{p+1,\ldots,2p\}{p+1,…,2p} 的交集,并将 rrr 中选出的 {1,…,p}\{1,\ldots,p\}{1,…,p} 个元素按 T↦T+1(modp)T\mapsto T+1\pmod pT↦T+1(modp) 平移。因 0<r<p0<r<p0<r<p,非零平移不会固定 TTT,所以每轨道恰有 ppp 个不同子集。每次平移使第一块元素和模 rrr 增加 ppp。