theorem Th50: :: COMPTRIG:50

for z being Complex st Re z < 0 holds
cos (Arg z) < 0