theorem Th28: :: SINCOS10:28

rng arccosec2 = ].0,(PI / 2).]