is an open interval. Let be a function of class and compact. If all critical points of in are nondegenerate then there exists only finitely many of them in .

I've proven that if is a nondegenerate critical point of the differentiable function then there exists such that is the only critical point of in . This should be helpful.