ステップ1で n=3,4,5n=3,4,5n=3,4,5 を直接扱い、ステップ2〜4で、2p2p2p と 3p3p3p という2つの異なる有効な最大要素を用いてすべての n>5n>5n>5 を扱う。以上から、すべての n>3n>3n>3 に対して有効な集合が存在し、そのうち有効な集合がちょうど1つであるのは n=4n=4n=4 だけである。その他の許容される n>3n>3n>3 の各 nnn には少なくとも2つあるからである。