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

theorem :: REAL_2'46_1
  a <> 0 & a = a" implies a = 1 or a = -1 by Lm18;
