theorem Th15: :: SINCOS10:15

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