theorem Th2: :: JORDAN11:2

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