This result formalizes let be a compact complex manifold and let be a smooth compact orientable real hypersurface which separates into two open complex manifolds and , with X M= + -, += -=M. It supports the chapter's treatment of CR geometry, [boundary regularity](/theorems/99), and holomorphic extension in several complex variables.