Jordan curve theorem (source code)

= Jordan curve theorem
{c}
{wiki}

Every simple closed curve on the sphere separates it into two connected components, each having the curve as its boundary.