theorem Th32: :: SIN_COS6:32

for r being Real st (3 / 2) * PI < r & r <= 2 * PI holds
sin r > - 1