Theorem. [00AA]

Let be a connected compact smooth manifold of positive dimension, equipped with a smooth function with exactly two critical points, then is homeomorphic, but not necessarily diffeomorphic, to the .