分圓不變數

令 為一個 奇素數， 為 分圓域，它由 次 單位根 在有理 域 上生成。現在令 為 的 冪，它整除 類數 of 。那麼存在 整數 和 使得

對於所有充分大的 。對於 正則素數，。