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

theorem :: TOPREAL6'2
  a - 2 * a = -a;
