theorem Th20: :: SINCOS10:20

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