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

theorem Th4:
  a * (b * c) = (a * b) * c;
