将 G\mathcal{G}G 的边标记为对 1≤i,j≤n1\le i,j\le n1≤i,j≤n 的 di,jd_{i,j}di,j 与对 1≤i,j≤n−11\le i,j\le n-11≤i,j≤n−1 的 ei,je_{i,j}ei,j,以反映方格阵的行与列。在 G\mathcal{G}G 的边子集上定义 fff:对每条带标记的边,规定其属于 f(H)f(H)f(H) 当且仅当把它的两个下标互换后得到的边不属于 HHH。由于下标互换两次还原为原边、取反两次还原为原来的归属,故 f(f(H))=Hf(f(H))=Hf(f(H))=H,即 fff 是一个对合。