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

theorem :: TOPREAL6'4
  a - a / 2 = a / 2;
