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

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