theorem Th13: :: SINCOS10:13

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