theorem Th48: :: SIN_COS9:48

arccot | [.(- 1),1.] is decreasing