theorem Th92: :: SINCOS10:92

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