theorem Th93: :: SINCOS10:93

arcsec1 | [.1,(sqrt 2).] is continuous