グラフは m を法として n-2 を繰り返し加えることで生成されるのでサイクルの和である。gcd(n−2,2n−1)=gcd(n−2,3)\gcd(n-2,2n-1)=\gcd(n-2,3)gcd(n−2,2n−1)=gcd(n−2,3) より、2n−12n-12n−1 なら長さ n≢2(mod3)n\not\equiv2\pmod3n≡2(mod3) の一サイクル、n≡2(mod3)n\equiv2\pmod3n≡2(mod3) なら長さ (2n−1)/3(2n-1)/3(2n−1)/3 の三サイクルとなる。