reserve a, b, c, d, e for Complex;

theorem :: REAL_2'58_1
  - a / (- b) = a / b
proof
  thus -a/(-b)=--a/b by Th188
    .=a/b;
end;
