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

theorem :: REAL_1'35
  (a / b) * (c / d) = (a * c) / (b * d) by Lm6;
