theorem Th50: :: JORDAN:50

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