theorem :: BORSUK_6:32

for a, b, c, d being Point of I[01] holds [:[.a,b.],[.c,d.]:] is compact Subset of [:I[01],I[01]:]