theorem Th73: :: SINCOS10:73
( arcsec1 . 1 = 0 & arcsec1 . (sqrt 2) = PI / 4 )