theorem Th36: :: BORSUK_7:46

for r being Real
for p being Point of (TOP-REAL 2) st p = CircleMap . r holds
Arg p = (2 * PI) * (frac r)