希德洛夫斯基定理

令 , ..., 為一組 E-函式，它們 (1) 構成以下微分方程組的解

對於 和 , ..., ，以及 (2) 在 上代數獨立。那麼對於所有 ，其中 表示代數數的集合，滿足 且與微分方程的奇點不同，數字 , ..., 是代數獨立的 (Nesterenko 1999)。