共有九个元素且每格至多两个,所以至少有五个非空格。又没有行或列含有三个非空格,三乘三数组的初等论证给出三个行列都互不相同的非空格。从每格选一个元素得到类型 (i1,j1),(i2,j2),(i3,j3)(i_1,j_1),(i_2,j_2),(i_3,j_3)(i1,j1),(i2,j2),(i3,j3),两组坐标都为 {0,1,2}\{0,1,2\}{0,1,2},故总和为 (0,0)(0,0)(0,0)。