どの型も3回現れないと仮定する。ある行が3つの列型全てを含めば、各箱から1要素を選ぶと第1座標は等しく、第2座標の和は F3\mathbb F_3F3 で 0+1+2=00+1+2=00+1+2=0 となり必要な三つ組を得る。列についても同様。従って行や列の3箱全てが空でないことはない。