通过对应的删除构造左下红色理想。
先把所有点看成蓝色，再按适当的逆拓扑顺序构造左下红色理想。当 由蓝变红时，其所在列和行中剩余的蓝点数都为 ，所以从两个多重集中删去同一个数。起初两个多重集都是 ，故始终相同。 (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}