theorem Th98: :: SINCOS10:98

rng (arcsec2 | [.(- (sqrt 2)),(- 1).]) = [.((3 / 4) * PI),PI.]