theorem
  arccot|(cot.:].0,PI.[) is continuous by Th72,FDIFF_1:25;
