N(i,j)N(i,j)N(i,j) を型 (i,j)(i,j)(i,j) の要素数とする。ある N(i,j)≥3N(i,j)\ge3N(i,j)≥3 なら、同じ型の相異なる3要素の型の和は 3(i,j)=(0,0)3(i,j)=(0,0)3(i,j)=(0,0) なので結論が出る。