ula_1 为域，formula_2 是有限生成的 formula_1-代数，且 formula_2 是整环，则存在 formula_5，使得 formula_6 在formula_1 上彼此代数独立，且 formula_2 是 formula_9 的整扩张。它的一个重要几何结论之一是：任一射影簇均可表为仿射空间的分歧覆盖。