متناظر با هر زوج از اعداد صحیح مثبت
$n$ و $kgeqslant2$
یک گراف جهت دار مکرر
$ gamma(n,k) $
وجود دارد که مجموعه رئوس آن اعضای مجموعه
$ h=lbrace0,1,ldots,n-1
brace $
است به طوری که بین دو رأس
$ a $
و
$ b $
در
$ h $
یک یال جهت دار وجود دارد هرگاه
$ a^{k}equiv b (operatorname{mod}:n) $.
در ابتدا دو زیرگراف جهت دار
$gamma_{1}(n,k)$
و $g...