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

theorem
  (a*x+b*y).|.z = a * x.|.z + b * y.|.z;
