reserve th, th1, th2, th3 for Real;

theorem
  cosec(-th) = -1/sin(th)
proof
  cosec(-th) = 1/-sin(th) by SIN_COS:31
    .= -1/sin(th) by XCMPLX_1:188;
  hence thesis;
end;
