Liouville's theorem
刘维尔定理揭示了具有初等原函数的初等函数的本质特征。其最早由约瑟夫·刘维尔于十九世纪三四十年代提出，经后人推广到一般的微分域上，并被进一步推广运用在常微分方程组初等首次积分的研究上。