theorem :: MEMBER_1:5
  r-f = r-g implies f = g
proof
  assume r-f = r-g;
  then -f = -g by Th11;
  hence thesis by Th10;
end;
