Jordan-Brouwer theorem