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

theorem
  (x+y).|.z = x.|.z + y.|.z;
