由于 (n,1)∈G(n,1)\in G(n,1)∈G，传递性禁止 (1,n−1)(1,n-1)(1,n−1)。若含指标 nnn 的有序对多于 n−2n-2n−2，则 n−1n-1n−1 个可能边界对全出现；由 (n,1)(n,1)(n,1) 和传递性会推出被禁止的 (1,n)(1,n)(1,n)，矛盾。因此 ∣G∖G′∣≤n−2|G\setminus G'|\le n-2∣G∖G′∣≤n−2。