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

theorem :: SEQ_2'2_1
  a/2 + a/2 = a;
