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

theorem :: REAL_1'42
  a / (b / c) = (a * c) / b by Lm2;
