theorem :: SIN_COS9:78

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