The Poincare-Bendixson theorem says that a nonempty compact -limit set of a planar flow which contains only finitely many fixed points is either a fixed point, a periodic orbit, or a union of fixed points and connecting trajectories. In particular, if it contains no fixed point, it is a periodic orbit.
Solved by gpt-5.6-sol high.
Codex Wiki