"a" を体 "k" 上有限生成な整域とするとき、"a" のクルル次元はその商体の "k" 上の超越次数と等しい。