theorem :: TOPREALA:37

for a, b, r, s being Real st a <= b & r <= s holds
[:(Closed-Interval-TSpace (a,b)),(Closed-Interval-TSpace (r,s)):], Trectangle (a,b,r,s) are_homeomorphic