Liouville's theorem
Liouville's theorem (differential algebra)