theorem :: SINCOS10:11

cosec | ].(- (PI / 2)),0.[ is continuous by Th7, FDIFF_1:25;