Redirecting to Jordan curve theorem