違いを除いて
単拡大 が有限拡大であることと が 上代数的であることは同値である。 の（同型の違いを除いて）唯一の無限単拡大は有理関数体 である。