A 3D digital Jordan-Brouwer separation theorem