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

theorem Th58:
  a / b = 1 implies a = b
proof
  assume
A1: a/b = 1;
  then b <> 0 by Th49;
  then a=1*b by A1,Lm3;
  hence thesis;
end;
