刘维尔定理
Liouville's theorem states that elementary antiderivatives, if they exist, must be in the same differential field as the function, plus possibly a finite number of logarithms.