theorem Th7: :: COMPTRIG:7

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