由于 fff 是 G\mathcal{G}G 的边的 2n2+(n−1)22^{n^2+(n-1)^2}2n2+(n−1)2 个子集上的双射，它把每个可达的 HHH 与不可达的 f(H)f(H)f(H) 配对，故可达与不可达的子集互相双射，并将全部 2n2+(n−1)22^{n^2+(n-1)^2}2n2+(n−1)2 个子集划分为两部分；因此恰有 2 n2+(n−1)2−12^{\,n^2+(n-1)^2-1}2n2+(n−1)2−1 个子集可达。