theorem Th39: :: SINCOS10:39

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