theorem
  a+b-c-b=a-c;
