theorem Th17: :: BASEL_1:17

for r being Real st 0 <= r holds
sin . r <= r