theorem Th8: :: SIN_COS9:8
cot | ].0,PI.[ is decreasing