theorem Th80: :: SINCOS10:80

arccosec2 | (cosec .: ].0,(PI / 2).]) is decreasing