theorem :: SIN_COS4:2

for th being Real holds cosec (- th) = - (1 / (sin th))