1,ζ,ζ^2,...,ζ^{16}が1の17乗根を尽くすとき
1,ζ^m,ζ^{2m},...,ζ^{16m}がそうなるようなmと
そうならないようなmがある。
これが平方剰余の相互法則の証明に至るオイラーの基準により
判定できることに気づいたのは
ガウスが最初だったのだろうか