theorem Th49: :: SINCOS10:49

arcsec1 | [.1,(sqrt 2).] = (sec | [.0,(PI / 4).]) "