theorem Th40: :: JGRAPH_6:40

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