，它断言：对于有理函数域 formula_7 的子域 formula_8，若次数 formula_9 有限，而 formula_1 代数闭，则 formula_8 也是个有理函数域。翻译成几何语言，这相当于说：若对代数闭域 formula_1 上的代数曲线formula_13，存在满态射 formula_14（或称分歧覆盖），则 formula_13 是有理簇。有理簇有一个有用的性质：若 formula_1 非有限域，formula_4 是 formula_1-有理簇，则 formula_19 在