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

theorem :: REAL_2'90
  a/4 + a/4 + a/4 + a/4 = a;
