theorem Th46: :: SIN_COS9:46

arccot | (cot .: ].0,PI.[) is decreasing