theorem Th21: :: COMPTRIG:21

cos | ].0,PI.[ is decreasing