Poincaré–Bendixson theorem — theorem