Jordan_curve_theorem loading ...