theorem :: SINCOS10:119

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