Jordan curve theorem