由于除 GkG_kGk 以外的任何区块在被删去的前缀 x1,…,xpx_1,\ldots,x_px1,…,xp 中至多出现 111 名成员,满足 j≠kj\neq kj=k 的每个区块 GjG_jGj 在位置 ppp 右侧未被删去的运动员中,仍保留着其 N+1N+1N+1 名成员里至少 NNN 名。如有需要,从任何仍剩 N+1N+1N+1 名成员的区块中再舍弃一名多余的幸存者,使剩下的 N−1N-1N−1 个区块都恰好被削减到 NNN 人,从而总共得到恰好 (N−1)N(N-1)N(N−1)N 人组成的候选池。