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

theorem Th182:
  a * a = 1 implies a = 1 or a = -1
proof
  assume a*a=1;
  then (a-1)*(a+1) =0;
  then a-1=0 or a+1=0;
  hence thesis;
end;
