theorem Th73: :: SINCOS10:73

( arcsec1 . 1 = 0 & arcsec1 . (sqrt 2) = PI / 4 )