theorem Th26: :: SINCOS10:26
rng arcsec2 = ].(PI / 2),PI.]