let th be Real; :: thesis: cosec (- th) = - (1 / (sin th))
cosec (- th) = 1 / (- (sin th)) by SIN_COS:31
.= - (1 / (sin th)) by XCMPLX_1:188 ;
hence cosec (- th) = - (1 / (sin th)) ; :: thesis: verum