theorem :: COMPTRIG:47

for z being Complex st Im z >= 0 holds
sin (Arg z) >= 0