A proof and extension of the Jordan-Brouwer separation theorem | Synapse