theorem
  -a-b+a=-b;
