theorem Th5: :: JGRAPH_7:5

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