 Liouville's theorem (differential algebra)

Liouville's theorem in differential algebra concerns the conditions under which certain differential equations can be integrated in terms of elementary functions.