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