theorem Th8: :: SIN_COS9:8

cot | ].0,PI.[ is decreasing