theorem Th45: :: JGRAPH_6:45

for a, b, c, d being Real st a <= b & c <= d holds
E-most (rectangle (a,b,c,d)) = LSeg (|[b,c]|,|[b,d]|)