Liouville's theorem
刘维尔定理指出，一个初等函数如果有初等的原函数，那么一定能写成同一个微分域的函数加上有限项该域上函数的对数的线性组合，否则即表明不存在初等的原函数。