theorem Th46: :: SINCOS10:46

[.(- (sqrt 2)),(- 1).] c= dom arcsec2