希德洛夫斯基定理

令 , ..., 为一组 E-函数，它们 (1) 构成以下微分方程组的解

对于 和 , ..., ，以及 (2) 在 上代数独立。那么对于所有 ，其中 表示代数数的集合，满足 且与微分方程的奇点不同，数字 , ..., 是代数独立的 (Nesterenko 1999)。