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

theorem :: REAL_1'38
  c <> 0 implies a / b = (a * c) / (b * c) by Lm10;
