reserve a, b, c, d, x, y, z for Complex;

theorem
  (a*x).|.y = a * x.|.y;
