theorem Th36: :: SIN_COS6:36

for r being Real st PI < r & r <= 2 * PI holds
cos r > - 1