theorem Th35:
for
a,
b,
r,
s being
Real st
a <= b &
r <= s holds
R2Homeomorphism | the
carrier of
[:(Closed-Interval-TSpace (a,b)),(Closed-Interval-TSpace (r,s)):] is
Function of
[:(Closed-Interval-TSpace (a,b)),(Closed-Interval-TSpace (r,s)):],
(Trectangle (a,b,r,s))