A Converse to the Jordan Curve Theorem for Digital Curves

It is shown that a subset S of a digital picture is a simple closed curve if and only if its complement S ¯ has exactly two components, and every point of S is adjacent to both of these components.