theorem Th6: :: SIN_COS6:6

for r being Real holds cos r <= 1