  In the early 1960s, Brown and Mazur proved the general Jordan-Schoenflies
theorem. This fundamental theorem states: If we embed an $(n-1)$ sphere
$S^{(n-1)}$ locally flatly in an $n$ sphere $S^{n}$, then it decomposes $S^{n}$
into two components. In addition, the embedded $S^{(n-1)}$ is the common
boundary of the two components and each component is homeomorphic to the
$n$-ball.\newline This paper gives a constructive proof of the theorem using
the discrete method. More specifically, we prove the equivalent statements: Let
$M$ be an $n$-manifold, which is homeomorphic to $S^{n}$. Then, every
$(n-1)$-manifold $S$, a submanifold with local flatness in $M$, decomposes the
space $M$ into two components where each component is homeomorphic to an
$n$-ball. The method was chosen in order to evaluate the computability and
computational costs among operations between cells regarding homeomorphism. In
addition, methods within the proof can be extended to applications in design
algorithms under the assumption that homeomorphic mappings are constructible
and computable. In this new revision, We add some new detailed discussions.
