theorem Th52: :: SINCOS10:52

arccosec2 | [.1,(sqrt 2).] = (cosec | [.(PI / 4),(PI / 2).]) "