フェルマーの小定理
"g" = "h"("p" − 1)/"q" mod "p" であるとき、フェルマーの小定理より "gq" ≡ "h""p" − 1 ≡ 1 (mod "p") が導かれる。"g" &gt; 1 かつ "q" が素数であるから、"g" は次数 "q" でなければならない。