theorem Th4: :: JGRAPH_7:4

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