theorem Th83: :: SINCOS10:83

arccosec1 | [.(- (sqrt 2)),(- 1).] is decreasing