theorem :: SINCOS10:23

cosec | [.(- (PI / 2)),0.[ is one-to-one by Th19, FCONT_3:8;