reserve a, b, c, d, e for Complex;

theorem
  -a+a-b=-b;
