制限集合 G′G'G′ は n−1n-1n−1 添字で同じ4規則を満たす。最小性より ∣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) となり矛盾。従って上界が成り立つ。