theorem Th34: :: SIN_COS6:34

for r being Real st 0 < r & r < 2 * PI holds
cos r < 1