theorem Th51: :: JORDAN:51

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