刘维尔定理
Liouville's theorem (transcendence theory)