theorem Th38: :: TOPREALB:38

for A being Subset of R^1
for f being Function of (R^1 | A),(Tunit_circle 2) st [.0,1.[ c= A & f = CircleMap | A holds
f is onto