theorem Th24: :: TOPREALB:24

for p being Point of (TOP-REAL 2) st p is Point of (Topen_unit_circle c[10]) & p `2 = 0 holds
p = c[-10]