在极大族中,每个候选量要么已选,要么由元素差禁止。
设 为两两不相交平移量的极大集合。 中每个候选要么属于 ,要么形如 ,其中 且 不同。因此 。 SSS TTT TTT a,b∈Aa,b\in Aa,b∈A ti+b−at_i+b-ati+b−a ti∈Tt_i\in Tti∈T