theorem Th77: :: SINCOS10:77

arcsec1 | (sec .: [.0,(PI / 2).[) is increasing