theorem Th35: :: COMPTRIG:35

for x being Real st x >= 0 holds
Arg x = 0