Harnack's_curve_theorem loading ...