theorem Th110: :: JGRAPH_7:110

for p1, p2, p3, p4 being Point of (TOP-REAL 2)
for a, b, c, d being Real
for f, g being Function of I[01],(TOP-REAL 2) st a < b & c < d & p1 `2 = d & p2 `2 = d & p3 `2 = d & p4 `1 = b & a <= p1 `1 & p1 `1 < p2 `1 & p2 `1 < p3 `1 & p3 `1 <= b & c <= p4 `2 & p4 `2 <= d & f . 0 = p1 & f . 1 = p3 & g . 0 = p2 & g . 1 = p4 & f is continuous & f is one-to-one & g is continuous & g is one-to-one & rng f c= closed_inside_of_rectangle (a,b,c,d) & rng g c= closed_inside_of_rectangle (a,b,c,d) holds
rng f meets rng g