theorem Th3: :: SIN_COS6:3

for r being Real holds - 1 <= sin r