theorem Th59: :: COMPLEX2:61

for r being Real
for a being Complex st r >= 0 holds
angle (r,a) = Arg a