theorem Th82: :: SINCOS10:82

arcsec2 | [.(- (sqrt 2)),(- 1).] is increasing