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

theorem :: SEQ_4'5
  a/3 + a/3 + a/3 = a;
