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

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