theorem Th36: :: COMPTRIG:36

for x being Real st x < 0 holds
Arg x = PI