Liouville's theorem
关于什么时候反導函數可以用初等函数表达，可参见刘维尔定理。