a_17 为域，formula_1 为不可约 formula_17-代数簇，则 formula_2 是 formula_17 的域扩张，有时也写作 formula_22。此扩张的超越次数等于 formula_23，此命题可以化约到仿射簇的情形，再以诺特正规化引理证明。
例子.以下设 formula_17 为域。
一般概形的情形.当 formula_1 不是整概形时，formula_16 在开集上的截面可能有零因子，此时分式域并不存在（详见 Kleiman