theorem Th22: :: COMPLEX2:24

for z being Complex st Arg z <= PI holds
Im z >= 0