theorem Th38: :: COMPTRIG:38

for x being Real st x < 0 holds
Arg (x * <i>) = (3 / 2) * PI