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

theorem :: SEQ_2'2_2
  a / 4 + a / 4 = a / 2;
