theorem Th9: :: BORSUK_6:9

for a, b, c, d being Point of I[01] st a <= b & c <= d holds
[:[.a,b.],[.c,d.]:] is non empty compact Subset of [:I[01],I[01]:]