theorem Th4: :: SIN_COS6:4

for r being Real holds sin r <= 1