theorem
  arccosec2|(cosec.:].0,PI/2.[) is continuous by Th124,FDIFF_1:25;
