theorem Th14: :: SINCOS10:14

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