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

theorem :: SQUARE_1'18
  a * (b / c) = (a * b) / c by Lm8;
