theorem Th38: :: SINCOS10:38

sec | ].(PI / 2),PI.] is continuous