From the Wikipedia page for the Jordan curve theorem