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

theorem :: SQUARE_1'8
  a - b = 0 implies a = b;
