我们可以证明角点单元格中填充了从2到2^n+1的值,因为为了证明没有角点单元格必须跳过一个值,以便不在任何其他单元格中重复值,我们必须证明在至少一个角点单元格值排列中,非角点单元格的值都大于2^n+1。2(2^n-n+2)可以描述从一维到无穷维(不包括第三维)中两个角单元格之间的单元格的最小值,因为在三维网格的理想排列中,12必须出现在3到4之间,而公式返回值14。无论如何,12仍然大于2^n+1,即三维空间中的9。从图中可以清楚地观察到,2(2^n-n+2)的每个值都大于2^n+1。公式2(2^n-n+2)是根据以下事实推导出来的:在除第三个维度外的每个维度中,最小的非角点值都出现在2的旁边,在前三个维度中,都出现在3的旁边。因此,由于第三维度的角点单元数量有限,因此不包括第三维度,这些值必须等于2和与2配对的最小值的乘积。在理想的值排列中,与2配对的最小数总是等于尺寸数n-1减去最高角值2^n+1后的1,从而得到2^n+1-(n-1),或其简化形式为2^n-n+2。当将其乘以2时,我们会收到除第三个维度外的所有维度中可能的最低非角点值。