theorem Th26: :: SINCOS10:26

rng arcsec2 = ].(PI / 2),PI.]