theorem Th31:
  g (/) -c = -(g(/)c)
proof
  thus g (/) -c = (-1/c) (#) g by XCMPLX_1:188
    .= -(g(/)c) by Th24;
end;
