theorem
  a-a-b=-b;
