theorem Th107: :: SINCOS10:107

for r being Real st - (sqrt 2) <= r & r <= - 1 holds
( - (PI / 2) <= arccosec1 r & arccosec1 r <= - (PI / 4) )