Jordan-Brouwer separation theorem