theorem Th40: :: SINCOS10:40

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