すべての素数pに対して(Z/pZ)^xが巡回群であることは
勿論まったく自明ではない。この巡回群の生成元の
ことを原始根といい、ガウスがD.A.の前の方の
章で存在を証明している。これと円分方程式が
結び付くことを見抜いたのが、ガウスの円分論の
最初期の契機だったのだろう。