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;
