令 
为一个 奇素数，
为 分圆域，它由 
次 单位根 在有理 域 上生成。现在令 
为 
的 幂，它整除 类数 
of 
。那么存在 整数 
和 
使得
 |
对于所有充分大的 
。对于 正则素数，
。
分圆不变量
使用 Wolfram|Alpha 探索
参考文献
Johnson, W. "不正则素数与分圆不变量。" 数学计算 29, 113-120, 1975.在 Wolfram|Alpha 中被引用
分圆不变量引用为
韦斯坦因，埃里克·W. "分圆不变量。" 来自 MathWorld——Wolfram Web 资源。 https://mathworld.net.cn/CyclotomicInvariant.html