theorem Th74: :: SINCOS10:74

( arcsec2 . (- (sqrt 2)) = (3 / 4) * PI & arcsec2 . (- 1) = PI )