theorem Th19: :: SINCOS10:19

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