theorem Th45: :: COMPTRIG:45

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