限制集合 G′G'G′ 在 n−1n-1n−1 个指标上仍满足四条规则。由最小性 ∣G′∣≤(n−2)(n−3)2|G'|\le\frac{(n-2)(n-3)}2∣G′∣≤2(n−2)(n−3)。结合 ∣G∖G′∣≤n−2|G\setminus G'|\le n-2∣G∖G′∣≤n−2 得 ∣G∣≤(n−1)(n−2)2|G|\le\frac{(n-1)(n-2)}2∣G∣≤2(n−1)(n−2)，矛盾。因此上界成立。