theorem Th71: :: SINCOS10:71

for r being Real st - (PI / 2) <= r & r < 0 holds
arccosec1 (cosec . r) = r