theorem Th44: :: JGRAPH_6:44

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