theorem
  cosec|].-PI/2,0.[ is continuous by Th7,FDIFF_1:25;
