Mazur's Theorem

The generalization of the Schönflies theorem to dimensions. A smoothly embedded -hypersphere in an -hypersphere separates the -hypersphere into two components, each homeomorphic to -balls. It can be proved using Morse theory.