theorem Th8: :: JGRAPH_7:8

for p1, p2 being Point of (TOP-REAL 2)
for a, b, c, d being Real st a < b & c < d & p1 `2 = d & p2 `1 = b & a <= p1 `1 & p1 `1 <= b & c <= p2 `2 & p2 `2 <= d holds
LE p1,p2, rectangle (a,b,c,d)