theorem Th49: :: COMPTRIG:49

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