theorem Th4: :: SINCOS10:4

].0,(PI / 2).] c= dom cosec