theorem Th46: :: JGRAPH_6:46

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