I am interested in a proof of Theorem 1.116 in Application of ODEs (p. 82).
i) a rest point, ii) a periodic orbit follows if we assume $\omega (p)$ i) is an union of rest points or ii) doesnt include rest points, with theorem 1.111 and Poincare-Bendrixon mentioned in that book.
My problem is I cannot see how to proof iii) a union of finitely many rest points and perhaps a countably infinite set of connecting orbits.
The only case which is left open is when in $\omega (p)$ both rest points and normal points with $f(y) \ne0$ are included. How can I argument form here?
Greetings.