假设没有类型出现三次。若某一行包含三种列类型,从每个格取一个元素,则第一坐标相同,第二坐标和为 F3\mathbb F_3F3 中的 0+1+2=00+1+2=00+1+2=0,得到所需三元组。列也同理。因此没有一行或一列的三个类型格都非空。