theorem
  \delta (-x + y, z) = -(\delta (x, y) + z);
