theorem Th46: :: COMPTRIG:46

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