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

theorem :: REAL_2'23_2
  a - b + c = - b + c + a;
