theorem Th91: :: SINCOS10:91

for r being Real st - (sqrt 2) <= r & r <= - 1 holds
cosec . (arccosec1 r) = r