対応する除去を行いながら左下の赤いイデアルを構成する。
最初はすべてを青とする。赤い下位イデアルを、各点の右上側がすでに処理される逆位相順で構成する。 を赤に変えると、その列と行に残る青点はともに 個であり、二つの多重集合から同じ数を除くことになる。初めは両方とも なので、最後まで一致する。 (x,y)(x,y)(x,y) n−x−y−1n-x-y-1n−x−y−1 {1,2,…,n}\{1,2,\ldots,n\}{1,2,…,n}