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