theorem Th96: :: SINCOS10:96

arccosec2 | [.1,(sqrt 2).] is continuous