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

theorem :: INT_1'24
  a = a + b implies b = 0;
