theorem Th111: :: SINCOS10:111

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