theorem
  cot|].0,PI.[ is continuous by Lm2,FDIFF_1:25;
