刘维尔定理
事实上，Risch 1969 年的论文表明，对于任意复杂的初等函数，总可以找到适当的包含 formula_43 的微分域 formula_5，以及从 formula_71 开始的初等域扩张塔 formula_97。并在此扩张塔的基础上，基于刘维尔定理找到其初等原函数，或证明不存在这样的初等原函数（参见 Risch算法）。