reserve i for Integer,
  a, b, r, s for Real;

theorem Th34:
  R2Homeomorphism is being_homeomorphism
proof
  for x, y being Real holds R2Homeomorphism. [x,y] = <*x,y*> by Def2;
  hence thesis by TOPREAL6:76;
end;
