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