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

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