theorem
  \delta (x, x) = x _0;
