(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。