 Sullivan no-wandering-domain theorem

Every Fatou component of a rational map of degree at least two is eventually periodic. Thus the periodic-component classification accounts for the entire Fatou set.