Jordan–Brouwer Separation Theorem

A generalization of the Jordan curve theorem: an embedding of an (n−1)-sphere S^{n−1} in Euclidean n-space R^n separates R^n into exactly two complementary regions, one bounded (the 'inside') and one unbounded (the 'outside'), and the embedded sphere is their common boundary.