No-wandering-domain theorem
In mathematics, the no-wandering-domain theorem is a result on dynamical systems, proven by Dennis Sullivan in 1985. The theorem states that a rational map f : Ĉ → Ĉ with deg(f) ≥ 2 does not have a wandering domain, where Ĉ denotes the Riemann sphere.
Source: Wikipedia — No-wandering-domain theorem (CC BY-SA 4.0)