theorem Th5: :: SIN_COS6:5

for r being Real holds - 1 <= cos r