令 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(i,j)=(0,0)3(i,j)=(0,0)3(i,j)=(0,0),结论成立。