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

theorem :: REAL_2'29_2
  a - c = (a - b) + (b - c);
