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 人からなるプールが得られる。