theorem Th21: :: TOPREALB:21

for p being Point of (Tunit_circle 2) holds p is not Point of (Topen_unit_circle p)