Liouville's theorem (transcendence theory)