theorem Th37: :: SINCOS10:37

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