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

theorem :: REAL_1'39_1
  -a / b = (-a) / b by Lm17;
