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

theorem Th190: :: REAL_2'58_2
  -(- a) / b = a / b
proof
  thus -(-a)/b=--a/b by Lm17
    .=a/b;
end;
