一個可以用抽象代數曲線或超越擴張的語言表述的定理。
對於抽象代數曲線,如果 和
是引數的非常數有理函式,則如此定義的曲線具有 曲線虧格 0。此外,
和
可以用相對於它們的有理引數來有理地表達(Coolidge 1959,第 246 頁)。
對於簡單超越擴張,包含在 的簡單超越擴張中的域
的所有真擴張也是簡單超越的。特別地,如果
是
和
上的有理函式域
之間的中間域,則
對於一些非常數的 有理函式
(van der Waerden 1966, 第 198 頁)。