Liouville's theorem
设想我们想知道形如 formula_98 的函数是否有初等原函数。由刘维尔定理可以得到，这等价于判断是否存在 formula_99 使得