theorem Th8: :: COMPTRIG:8

for x being Real st x in [.0,PI.] holds
sin . x >= 0