for C being being_simple_closed_curve Subset of (TOP-REAL 2) holds Y-InitStart C > 1