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