theorem Th45: :: SINCOS10:45

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