theorem Th52: :: JORDAN:52

for a, b, c, d being Real st a < b & c < d holds
Fr (closed_inside_of_rectangle (a,b,c,d)) = rectangle (a,b,c,d)